In der Informatik bezeichnet der Begriff der Formalen Methoden eine Vielzahl von natur- und ingenieurswissenschaftlichen Techniken zum Modellieren und zur rigorosen Überprüfung von Computersystemen. Formale Methoden basieren in der Regel auf der Verwendung von mathematischer Logik. Die Rolle von Formalen Methoden in der Softwaretechnik und in de...